Hyperresolution information and hyperresolution ignorance in modelling the hydrology of the land surface

Comment on: Hyperresolution global land surface modeling: Meeting a grand challenge for monitoring Earth's terrestrial water by

Hyperresolution for Guarded Formulae

This paper investigates the use of hyperresolution as a decision procedure and model builder for guarded formulae. In general hyperresolution is not a decision procedure for the entire guarded fragment. However we show that there are natural fragments which can be decided by hyperresolution. In particular, we prove decidability of hyperresolution with or without splitting for the fragment GF1− ...

A New Clausal Class Decidable by Hyperresolution

In this paper we define a new clausal class, called BU , which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that hyperresolution plus splitting can also be used as a Herbrand model generation procedure for BU and, furthermore, that the addition of a local minimality test allows us to generate only minimal Herbrand models for cla...

The land use changes study and precipitation-runoff modelling using HEC-HMS, Case Study: Babolrood basin

Abstract Change in land use pattern influenced hydrological processes in basin and disrupt the normal balance of water flow. In the present research, hydrological parameters change of Babul Rod watershed basin has been that investigated concluded of land use changes in 1988 and 2009. To determine land use changes of Babul Rod watershed basin we has recruited TM satellite images 1988(1367) year ...

On Uniform Word Problems Involving Bridging Operators on Distributive Lattices

In this paper we analyze some fragments of the universal theory of distributive lattices with many sorted bridging operators. Our interest in such algebras is motivated by the fact that, in description logics, numerical features are often expressed by using maps that associate numerical values to sets (more generally, to lattice elements). We first establish a link between satisfiability of uni...